Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое automatic code - определение
TASK TO CONSTRUCT A PROGRAM THAT PROVABLY SATISFIES A GIVEN HIGH-LEVEL FORMAL SPECIFICATION
Automatic program synthesis; Code Synthesis
Automated code review
CODE REVIEWING SOFTWARE
Code analyzer; List of automated code review tools
Automated code review software checks source code for compliance with a predefined set of rules or best practices. The use of analytical methods to inspect and review source code to detect bugs or security issues has been a standard development practice in both Open Source and commercial software domains.
Automatic block signaling
![position light signals]] each governing one direction of travel on [[Norfolk Southern Railway]]'s [[Enola Branch]] (former [[Pennsylvania Railroad]])](https://commons.wikimedia.org/wiki/Special:FilePath/Enola Branch L433 1 (2004-April 6).JPG?width=200 "position light signals]] each governing one direction of travel on [[Norfolk Southern Railway]]'s [[Enola Branch]] (former [[Pennsylvania Railroad]])")
RAILROAD COMMUNICATIONS SYSTEM
Automatic block signalling; Automatic block signal; Automatic Block Signal; Automatic Block System; Automatic Block Signaling
Automatic block signaling (ABS), spelled automatic block signalling or called track circuit block (TCB ) in the UK, is a railroad communications system that consists of a series of signals that divide a railway line into a series of sections, called blocks. The system controls the movement of trains between the blocks using automatic signals.
Automatic sequence
AN INFINITE SEQUENCE OF TERMS CHARACTERIZED BY A FINITE AUTOMATON
Automatic set; Automatic real number; Period-doubling sequence; Cobham–Semenov theorem; K-automatic sequence; Cobham-Semenov theorem; Automatic sequences
In mathematics and theoretical computer science, an automatic sequence (also called a k-automatic sequence or a k-recognizable sequence when one wants to indicate that the base of the numerals used is k) is an infinite sequence of terms characterized by a finite automaton. The n-th term of an automatic sequence a(n) is a mapping of the final state reached in a finite automaton accepting the digits of the number n in some fixed base k.
Википедия
Program synthesis
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
